Buy Used and New Martin Davis Books

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz

by Martin Davis, Edmond Schonberg

ISBN 13: 9781447142812

Format: Hardcover (222 pages)
Publisher: Springer
Published: 28 Jul 2012

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science)

by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov

ISBN 13: 9783662488980

Format: Paperback (656 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later